From: Olaf Hering <olaf@aepfle.de>
Date: Fri, 10 Oct 2014 09:53:29 +0000 (+0200)
Subject: Remove obsolete dev-docs target from toplevel Makefile
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~4191
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/%22bookmarks:/?a=commitdiff_plain;h=f16ed0eaaf84cfbaf625b07fb515e6d1303233b0;p=xen.git

Remove obsolete dev-docs target from toplevel Makefile

The actual target was removed with commit
5806093a20e20209d4b88ab866ae1e6017c95de7 ("docs: drop doxygen stuff")

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---

diff --git a/Makefile b/Makefile
index f540e07833..6e9a4c7860 100644
--- a/Makefile
+++ b/Makefile
@@ -87,10 +87,6 @@ tools/firmware/ovmf-dir-force-update:
 install-docs:
 	$(MAKE) -C docs install
 
-.PHONY: dev-docs
-dev-docs:
-	$(MAKE) -C docs dev-docs
-
 # build xen and the tools and place them in the install
 # directory. 'make install' should then copy them to the normal system
 # directories
@@ -182,7 +178,6 @@ help:
 	@echo '  tools                 - build and install tools'
 	@echo '  stubdom               - build and install the stubdomain images'
 	@echo '  docs                  - build and install user documentation'
-	@echo '  dev-docs              - build developer-only documentation'
 	@echo ''
 	@echo 'Cleaning targets:'
 	@echo '  clean                 - clean the Xen, tools and docs (but not guest kernel trees)'